]> dgit.raspbian.org Git - gnome-shell.git/commitdiff
Merge branch 'master' of gitlab.gnome.org:GNOME/gnome-shell
authorDaniel Mustieles <daniel.mustieles@gmail.com>
Fri, 7 Feb 2020 10:54:07 +0000 (11:54 +0100)
committerDaniel Mustieles <daniel.mustieles@gmail.com>
Fri, 7 Feb 2020 10:54:07 +0000 (11:54 +0100)

Trivial merge